Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
361	BRICS RSBrabrand et al.: Analyzing Ambiguity of Context-Free Grammars BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-06-01 10:26:55 Logic Context-free grammar Ambiguous grammar Formal grammar Parsing LL parser CYK algorithm Terminal and nonterminal symbols Parsing expression grammar Formal languages Software engineering Grammar
362	In: ICDAR-95 (Intl. Conf. on Document Analysis & Recognition), ppMontreal, Canada, 1995. Efficient Analysis of Complex Diagrams using Constraint-Based Parsing1,2 Robert P. Futrelle and Nikos Nikolakis Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2002-11-16 09:11:42 Parsing Geometry Top-down parsing LL parser Diagram Cartesian coordinate system Formal grammar CYK algorithm Formal languages Mathematics Compiler construction
363	Corporate and Product Overview Real Intent is the leading provider of EDA software to accelerate Early Functional Verification and Advanced Sign-off of digital designs. It provides comprehensive clock-domain crossing ve Add to Reading List Source URL: realintent.com Language: English - Date: 2014-09-10 13:14:55 Electronic design Hardware verification languages Logic design Logic simulation Functional verification Design closure E Formal verification Application-specific integrated circuit Electronic engineering Digital electronics Electronic design automation
364	5 Darkroom Software If you have a home computer, some way to display a graphics image, and maybe even a way to capture images from a digitizer or a video recorder, you Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Parsing Compiling tools Formal languages Lexical analysis Lex Recursive descent parser Attribute grammar Interpreter Compiler Programming language implementation Software Compiler construction
365	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
366	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
367	Parsing Composed Grammars with Language Boxes Lukas Diekmann and Laurence Tratt Software Development Team, King’s College London http://soft-dev.org/ Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-10 02:04:11 Computing Parsing expression grammar LL parser Parsing Scannerless parsing Context-free grammar Recursive descent parser LR parser Formal grammar Formal languages Software engineering Programming language implementation
368	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
369	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
370	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic

UPDATE